Richardson's Practical Reasoning About Final Ends
نویسندگان
چکیده
منابع مشابه
A Practical Nonmonotonic Theory for Reasoning about Speech Acts
A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events. This process of attitude revision is an interesting domain for the application of nonmonotonic reasoning because speech acts have a conventional aspect that is readily represented by defaults, but that interacts with an agent's beliefs and i...
متن کاملFormalising Debates About Law-Making Proposals as Practical Reasoning
In this paper the ASPIC framework for argumentation-based inference is used for formally reconstructing two legal debates about law-making proposals: an opinion of a legal scholar on a Dutch legislative proposal and a US commonlaw judicial decision on whether an existing common law rule should be followed or distinguished. Both debates are formalised as practical reasoning, with versions of the...
متن کاملReasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can operate on such a specification is a very important one. In open systems, the problem is complicated even further by the fact that adherence to such a supposedly agreed specification cannot be ensured on the side of other ...
متن کاملA Tool for Practical Reasoning about State Machine Designs
Critical systems (e.g. safety-critical and security-critical systems) need the highest levels of assurance. The eeective engineering design of critical systems still lacks easy-to-use, practical and above-all trustworthy tools which allow the exploration of possible design strategies, and support formal reasoning about their critical properties. In this paper, we describe the Veracity prototype...
متن کاملPractical Reasoning About Invocations and Implementations of Pure Methods
User-defined functions used in the specification of objectoriented programs are called pure methods. Providing sound and practical support for pure methods in a verification system faces many challenges, especially when pure methods have executable implementations and can be invoked from code at run time. This paper describes a design for reasoning about pure methods in the context of sound, mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 1999
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v19i1.2319